mathlib
e3501142 - feat(data/equiv/basic): rfl lemma for equiv_congr (#5585)

Commit

4 years ago

feat(data/equiv/basic): rfl lemma for equiv_congr (#5585)

Author

pechersky

pechersky

Parents

Loading