mathlib3
a65de994 - feat(data/equiv): Add `congr_arg`, `congr_fun`, and `ext_iff` lemmas to equivs (#5367)

Commit

5 years ago

feat(data/equiv): Add `congr_arg`, `congr_fun`, and `ext_iff` lemmas to equivs (#5367) These members already exist on the corresponding homs

Author

eric-wieser

Parents