mathlib3
a6d5ba81 - chore(set_theory/cardinal): add `map`, `induction_on` etc (#9812)

Commit

4 years ago

chore(set_theory/cardinal): add `map`, `induction_on` etc (#9812)

Author

urkud

urkud

Parents

Loading