mathlib
380e28e9 - chore(set_theory/ordinal_arithmetic): Golfed some proofs (#11369)

Commit

4 years ago

chore(set_theory/ordinal_arithmetic): Golfed some proofs (#11369)

Author

vihdzp

vihdzp

Parents

Loading