Skip to content

small fix in backward rule for leftorth, rightorth (#123) #200

small fix in backward rule for leftorth, rightorth (#123)

small fix in backward rule for leftorth, rightorth (#123) #200