basic): add `refl`, `symm`, `trans` attributes to `equiv` lemmas (#15549)

Commit

3 years ago

feat(set_theory/zfc/basic): add `refl`, `symm`, `trans` attributes to `equiv` lemmas (#15549)

Author

vihdzp

Parents