Def Arity.Const

Modification history

2023-07-15 20:46

Mathlib/SetTheory/ZFC/Basic.lean

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

Deleted Arity.Const View on Github →

2023-04-06 22:39

Mathlib/SetTheory/Zfc/Basic.lean

feat: port SetTheory.ZFC.Basic (#3165) …

Added Arity.Const View on Github →