Theorem LinearPMap.inverse_domain

Modification history