mathlib3
0bd7ce44 - remove `clom` alias and expand lemmas when they are used.

Commit

5 years ago

remove `clom` alias and expand lemmas when they are used.

Author

adomani

adomani

Parents

Loading