Theorem LinearEquiv.piFinTwo_apply

Modification history