Theorem ZFSet.lt_def

Modification history

2025-11-21 11:20
Mathlib/SetTheory/ZFC/Basic.lean
refactor(SetTheory/ZFC): deduplicate coercion to sets (#31287) …
Modified ZFSet.lt_defView on Github →
2025-05-09 16:12
Mathlib/SetTheory/ZFC/Basic.lean
feat(SetTheory/ZFC/Basic): order instances (#19946) …
Added ZFSet.lt_defView on Github →