Theorem PowerBasis.equivAdjoinSimple_gen

Modification history