Theorem RootPairing.prod_rootForm_root_self_pos

Modification history