Theorem RootPairing.toPerfPair_flip_comp_coroot

Modification history