mathlib3
7c2d0580 - Update initial_seg.lean

Commit
3 years ago
Update initial_seg.lean
Author
Parents
Loading