Theorem PowerBasis.dim_ne_zero

Modification history