Theorem LinearPMap.domain_mkSpanSingleton

Modification history