Theorem RootPairing.restrictScalars_toLinearMap_apply_apply

Modification history