mathlib
8aa23326 - chore(*): golf some proofs (#5548)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

chore(*): golf some proofs (#5548) Parts of #5539

Author

urkud

urkud

Parents

FAQ Terms Privacy Refunds Impressum

Loading