Theorem RootPairing.coroot'_reflection

Modification history