Def StarOrderedRing.ofLeIff

Modification history

2023-09-14 06:57
Mathlib/Algebra/Star/Order.lean
chore: tidy various files (#7137)
Deleted StarOrderedRing.ofLeIffView on Github →
2023-06-08 07:32
Mathlib/Algebra/Star/Order.lean
chore: forward-port leanprover-community/mathlib#18854 (#4840) …
Added StarOrderedRing.ofLeIffView on Github →