Theorem PowerBasis.equivOfRoot_symm

Modification history