Theorem Rel.card_interedges_finpartition_right

Modification history