mathlib
f4f0f67b - feat(set_theory/zfc): simp lemmas for `arity` and `const` (#15214)

Commit

3 years ago

feat(set_theory/zfc): simp lemmas for `arity` and `const` (#15214)

Author

vihdzp

vihdzp

Parents

Loading