mathlib3
e90bbe06 - chore(*): Golf a proof

Commit
5 years ago
chore(*): Golf a proof
Author
Parents
Loading