Theorem finEquivZPowers_apply

Modification history