Theorem Set.Icc_union_Icc_eq_Icc

Modification history