Theorem PowerBasis.lift_gen

Modification history