Theorem LinearEquiv.piCongrRight_apply

Modification history