mathlib3
f0b0e699 - Move vars into lemma statements

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

Move vars into lemma statements

Author

stuart-presnell

stuart-presnell

Parents

FAQ Terms Privacy Refunds Impressum

Loading