Theorem InitialSeg.inj

Modification history

2024-10-10 02:53
Mathlib/Order/InitialSeg.lean
chore(SetTheory/Ordinal/Basic): golf various instances (#17527)
Added InitialSeg.injView on Github →