Theorem PowerBasis.dim_pos

Modification history