Theorem RelIso.ordinal_type_eq

Modification history