mathlib
d84d9600 - Fix (`cast_add` has new synonym `coe_add`)
Commit
View On GitHub
Commit
3 years ago
Fix (`cast_add` has new synonym `coe_add`)
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
cf9fe0a2
FAQ Terms Privacy Refunds Impressum
Loading