Theorem MulAction.isBlock_subgroup

Modification history