Theorem LinearMap.IsSymmetric.natCast

Modification history