mathlib3
3499acc5 - Protected `finset.coe_one`
Commit
View On GitHub
Commit
3 years ago
Protected `finset.coe_one`
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
73f37f13
FAQ Terms Privacy Refunds Impressum
Loading