Theorem RootPairing.rootForm_root_self

Modification history