Theorem PerfectPairing.toLinearMap_apply

Modification history