Theorem MulAction.IsBlock.stabilizer_le

Modification history