Theorem PowerBasis.dim_le_degree_of_root

Modification history