Theorem Rel.card_interedges_finpartition

Modification history