Theorem RootPairing.toLinearMap_eq_toPerfectPairing

Modification history