Theorem MulAction.IsBlock.orbit_of_normal

Modification history