mathlib3
f654a86a - chore(*): remove lines claiming to introduce variables (#12569)

Commit

3 years ago

chore(*): remove lines claiming to introduce variables (#12569) They don't. Co-authored-by: Alex J. Best <alex.j.best@gmail.com>

Author

adomani

Parents