Theorem RootPairing.rootForm_reflection_reflection_apply

Modification history