mathlib3
acf5258c - chore(nat/order/basic): remove implicit variables (#17707)

Commit

3 years ago

chore(nat/order/basic): remove implicit variables (#17707)

Author

Multramate

Multramate

Parents

Loading