Def Arity.const

Modification history

2023-10-19 20:25

Mathlib/SetTheory/ZFC/Basic.lean

chore(Logic/Function/OfArity): rename `Arity` to `Function.OfArity` (#7772) …

Deleted Arity.const View on Github →

2023-07-15 20:46

Mathlib/SetTheory/ZFC/Basic.lean

fix: fix ZFC Basic module docstring (#5757) …

Added Arity.const View on Github →