mathlib
3612e68b - Golf `fg_of_one_mem_span_mul`
Commit
View On GitHub
Commit
5 years ago
Golf `fg_of_one_mem_span_mul`
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
791d938a
FAQ Terms Privacy Refunds Impressum
Loading