mathlib3
1c92dfdf - chore(*/equiv): missing refl_symm lemmas (#13761)

Commit

3 years ago

chore(*/equiv): missing refl_symm lemmas (#13761) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents