Theorem Finsupp.supported_comap_lmapDomain

Modification history