mathlib
c129e0bd - add `coe` fields to instances for defeq reasons
Commit
View On GitHub
Commit
3 years ago
add `coe` fields to instances for defeq reasons
Author
j-loreaux j-loreaux
Parents
410db7f7
FAQ Terms Privacy Refunds Impressum
Loading