mathlib3
989fe520 - feat(set_theory/zfc/basic): `∈` is well-founded on classes (#15544)

Commit

3 years ago

feat(set_theory/zfc/basic): `∈` is well-founded on classes (#15544)

Author

vihdzp

vihdzp

Parents

Loading