mathlib
c5380e31 - Generalize `coe_ideal_le_coe_ideal`
Commit
View On GitHub
Commit
5 years ago
Generalize `coe_ideal_le_coe_ideal`
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
5d230b71
FAQ Terms Privacy Refunds Impressum
Loading