Theorem Algebra.adjoin_univ

Modification history