Theorem LinearMap.IsRefl.domRestrict

Modification history