Theorem MulAction.isInvariantBlock_iff_isFixedBlock

Modification history