Theorem RootPairing.rootForm_root_self_pos

Modification history