feat(set_theory/zfc/basic): even more lemmas #18311
vihdzp
wants to merge
30 commits into
master
from
zfc_sInter_v4
define intersection
28af31b3
typo
ad2cfccd
naming convention fix
d51c8842
Update basic.lean
452c6274
explicit dite
bb80d465
more lemmas!
f96c090f
Merge branch 'master' into zfc_sInter_v3
3ce5b41e
more theorems!
f2f179c3
more minor tweaks
3d5f563b
add
70e1927b
hom_lemmas
8e5ec9e0
tweak
aa694582
trivial var rename
9bd162e1
Update basic.lean
6532b36a
revert ext move
e8d9dae3
generalize ext
2ed43e3b
more lemmas on transitive sets
3172cdf5
Apply suggestions from code review
055b73ed
Update basic.lean
49857df7
Merge branch 'master' into zfc_sInter_v3
7268515f
Merge branch 'master' into zfc_sInter_v2_5
7a3102a5
Merge branch 'zfc_sInter_v2_5' into zfc_sInter_v2_75
5905519f
Merge branch 'zfc_sInter_v2_75' into zfc_Class_ext
a295eea5
Merge branch 'zfc_sInter_v3' into zfc_sInter_v4
d794b570
Merge branch 'zfc_Class_ext' into zfc_sInter_v4
33784670
Recover entries of pair
aa52e7d8
kuratowski pairs
78a132a7
Update basic.lean
812dfbec
Merge branch 'zfc_transitive_powerset' into zfc_sInter_v4
2ce0200d
renames
e661c70b
Reviewers
No reviews
Assignees
No one assigned
Labels
not-ready-to-merge
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub