Theorem AlgEquiv.map_finsupp_prod

Modification history