Theorem DomMulAct.stabilizer_card

Modification history