Theorem LinearMap.restrict_sub

Modification history