Theorem RootPairing.CoPolarizationIn_apply

Modification history