Theorem Rel.card_interedges_finpartition_left

Modification history