mathlib
9822b65b - chore(*): add missing `coe_copy` and `copy_eq` (#17615)
Commit
View On GitHub
Commit
3 years ago
chore(*): add missing `coe_copy` and `copy_eq` (#17615)
Author
urkud urkud
Parents
6c17afb9
FAQ Terms Privacy Refunds Impressum
Loading