Theorem DomMulAct.stabilizer_card':

Modification history