mathlib
0b18823c - feat(set_theory/game/pgame): make `lt_iff_le_and_lf` true by def-eq (#14983)

Commit

3 years ago

feat(set_theory/game/pgame): make `lt_iff_le_and_lf` true by def-eq (#14983)

Author

vihdzp

vihdzp

Parents

Loading