Theorem IsPGroup.powEquiv_apply

Modification history