Theorem LinearEquiv.piRing_symmApply

Modification history