Theorem MulAction.mem_fixedBy

Modification history