Theorem InitialSeg.unique_of_trichotomous_of_irrefl

Modification history