Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pSet.mk_type

Modification history

2022-07-17 19:11
src/set_theory/zfc.lean
chore(set_theory/zfc): better def-eqs (#15210) …
Added pSet.mk_typeView on Github →