Theorem MulAction.IsBlock.of_subsingleton

Modification history