mathlib3
7a2a5468 - feat(data/set/opposite): the opposite of a set (#11860)

Commit

3 years ago

feat(data/set/opposite): the opposite of a set (#11860)

Author

TwoFX

TwoFX

Parents

Loading