mathlib3
d9ea0edc - Golf `mem_span_finite_of_mem_span`
Commit
View On GitHub
Commit
5 years ago
Golf `mem_span_finite_of_mem_span`
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
fa1aa2b0
FAQ Terms Privacy Refunds Impressum
Loading