Theorem LinearMap.exists_extend

Modification history