Theorem LinearMap.IsRefl.domRestrictRefl

Modification history