Theorem PSet.lt_def

Modification history

2025-05-09 16:12
Mathlib/SetTheory/ZFC/PSet.lean
feat(SetTheory/ZFC/Basic): order instances (#19946) …
Added PSet.lt_defView on Github →