mathlib
13c646f2 - Fix (seems to be `simp` order messing things up?)

Commit

3 years ago

Fix (seems to be `simp` order messing things up?)

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading