Theorem PowerBasis.equivOfRoot_gen

Modification history