Def ZFSet.Hereditarily

Modification history

2023-06-24 01:01
Mathlib/SetTheory/ZFC/Basic.lean
chore: remove legacy `termination_by'` (#5426) …
Modified ZFSet.HereditarilyView on Github →
2023-04-06 22:39
Mathlib/SetTheory/Zfc/Basic.lean
feat: port SetTheory.ZFC.Basic (#3165) …
Added ZFSet.HereditarilyView on Github →