mathlib3
30a1f2c1 - Add localization.lean

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

Add localization.lean

Author

adamtopaz

adamtopaz

Parents

FAQ Terms Privacy Refunds Impressum

Loading