mathlib3
55671bee - chore(set_theory/zfc): use `derive` for some instances (#14079)

Commit

3 years ago

chore(set_theory/zfc): use `derive` for some instances (#14079) Also use `has_compl` instead of `has_neg`.

Author

urkud

Parents