mathlib
b88fa08f - feat(set_theory/zfc): lemmas on `to_set` (#15265)

Commit

3 years ago

feat(set_theory/zfc): lemmas on `to_set` (#15265) We also flip the direction of `Set.ext_iff` to match `set.ext_iff`.

Author

vihdzp

Parents