mathlib
a30cba49 - feat(set_theory/cardinal_ordinal): Simp lemmas for `mk` (#13119)

Commit

3 years ago

feat(set_theory/cardinal_ordinal): Simp lemmas for `mk` (#13119)

Author

vihdzp

vihdzp

Parents

Loading