Theorem IsPGroup.to_inf_right

Modification history