Theorem RootPairing.toLinearMap_apply_apply_Polarization

Modification history