Skip to content

small fix in backward rule for leftorth, rightorth#123

Merged
Jutho merged 2 commits intoJutho:masterfrom tangwei94:masterMay 12, 2024

Commits

Commits on May 12, 2024