mathlib
4b3988ad - feat(data/sym/sym2): simp lemma for quotient.eq (#14113)

Commit

3 years ago

feat(data/sym/sym2): simp lemma for quotient.eq (#14113)

Author

kmill

kmill

Parents

Loading