Theorem IsPGroup.to_inf_left

Modification history