Theorem PowerBasis.adjoin_gen_eq_top

Modification history