mathlib
33b95d12 - These are uneligible for `@[ext]` because of explicit vars

Commit

4 years ago

These are uneligible for `@[ext]` because of explicit vars

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading