Theorem LinearMap.apply_symm_toPerfPair_self

Modification history