mathlib3
d402a6b6 - Update initial_seg.lean
Commit
View On GitHub
Commit
3 years ago
Update initial_seg.lean
Author
vihdzp vihdzp
Parents
3402608c
FAQ Terms Privacy Refunds Impressum
Loading