mathlib3
5d8810aa - feat(set_theory/cardinal/*): simp lemmas for `to_nat` and `to_enat` (#15059)

Commit

3 years ago

feat(set_theory/cardinal/*): simp lemmas for `to_nat` and `to_enat` (#15059)

Author

vihdzp

vihdzp

Parents

Loading