Theorem Set.Icc_inter_Icc_eq_singleton

Modification history