Theorem PowerBasis.quotientEquivQuotientMinpolyMap_symm_apply_mk

Modification history