Theorem Hollom.card_C_inter_Icc_eq

Modification history