Theorem RootPairing.toPerfPair_flip_conj_coreflection

Modification history