mathlib3
e2756041 - chore(data/set/basic): add `set.compl_eq_compl` (#7641)

Commit

4 years ago

chore(data/set/basic): add `set.compl_eq_compl` (#7641)

Author

ericrbg

ericrbg

Parents

Loading