mathlib
56f47732 - Take coe_pow out of simp

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

Take coe_pow out of simp

Author

mans0954

mans0954

Parents

FAQ Terms Privacy Refunds Impressum

Loading