Theorem LinearMap.IsPerfPair.of_injective'

Modification history