mathlib
cf4783fe - feat(set_theory/zfc): basic lemmas on `pSet.equiv` (#15211)

Commit

3 years ago

feat(set_theory/zfc): basic lemmas on `pSet.equiv` (#15211) We unfold the complex definition into something easier to use.

Author

vihdzp

Parents