Theorem LinearEquiv.symm_apply_eq

Modification history