mathlib
3365c443 - feat(data/equiv/basic): `equiv.swap_eq_refl_iff` (#6983)

Commit

4 years ago

feat(data/equiv/basic): `equiv.swap_eq_refl_iff` (#6983)

Author

pechersky

pechersky

Parents

Loading