Theorem MultilinearMap.mkPiRing_apply

Modification history