Theorem finEquivZpowers_apply

Modification history