Theorem LinearEquiv.piRing_apply

Modification history