Theorem LinearPMap.domain_supSpanSingleton

Modification history