Theorem LinearMap.IsRefl.nondegenerate_iff_separatingLeft

Modification history