Theorem LinearMap.IsPerfPair.restrict

Modification history