# Def arity

#### Modification history

2021-08-26 11:17

src/set_theory/zfc.lean

docs(set_theory/zfc): add module docstring and missing def docstrings (#8744)

Modified arityView on Github →2017-12-08 08:32

theories/number_theory/dioph.lean

feat(data/dardinal): wellordering of cardinals

Deleted arityView on Github →