Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pSet.arity.equiv_const

Modification history

2020-01-29 17:00
src/set_theory/zfc.lean
chore(*): add inhabited instances (#1898) …
Added pSet.arity.equiv_constView on Github →