mathlib
fd7796a1 - chore(logic/equiv): improve defeq and/or simp lemmas about some equivs (#15511)

Commit

3 years ago

chore(logic/equiv): improve defeq and/or simp lemmas about some equivs (#15511)

Author

urkud

urkud

Parents

Loading