Mathlib v3 is deprecated. Go to Mathlib v4

Def arity.const

Modification history

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