Theorem MulAction.isFixedBlock_univ

Modification history