Theorem Rel.card_interedges_le_mul

Modification history