mathlib
2e2510ee - chore(logic/small): Some golfing (#11030)

Commit
3 years ago
chore(logic/small): Some golfing (#11030)
Author
Parents
Loading