mathlib
f675a006 - chore(set_theory/zfc): split long lines (#4641)

Commit

5 years ago

chore(set_theory/zfc): split long lines (#4641) Also add `Set.subset_def` and rewrite `Set.mem_pair_sep` in tactic mode

References

Author

urkud

Parents