Theorem PowerBasis.adjoin_eq_top_of_gen_mem_adjoin

Modification history