Theorem LinearMap.restrict_commute

Modification history