Theorem RootPairing.coroot'_reflectionPerm

Modification history