Theorem RootPairing.coroot'_reflection_perm

Modification history