mathlib3
551fc5b6 - simplify proof of smul_mem
Commit
View On GitHub
Commit
3 years ago
simplify proof of smul_mem
Author
apurvnakade apurvnakade
Parents
d5924e93
FAQ Terms Privacy Refunds Impressum
Loading