Structure PSet

Modification history

2026-09-22 23:37
Mathlib/SetTheory/ZFC/PSet.lean
refactor: change pset to a structure (#43976) …
Added PSetView on Github →