Theorem Hollom.C_inter_Icc_large

Modification history