let simp flip inequalities (#1418) - SemanticDiff

Commit

7 years ago

let simp flip inequalities (#1418)

References

#1418 - feat(algebra/order): allow simp to flip inequalities

Author

kim-em

kim-em

Committer

mergify[bot]

mergify[bot]

Parents

Loading