mathlib
168f579c - remove `@[simps]` of `adjoin_root.power_basis_aux'`
Commit
View On GitHub
Commit
3 years ago
remove `@[simps]` of `adjoin_root.power_basis_aux'`
Author
astrainfinita astrainfinita
Parents
4303a393
FAQ Terms Privacy Refunds Impressum
Loading