Theorem LinearMap.map_sub₂

Modification history