Theorem InitialSeg.exists_eq_iff_rel

Modification history