Theorem RootPairing.rootForm_apply_apply

Modification history