Theorem Set.Icc.one_sub_mem

Modification history