Theorem Algebra.adjoin_adjoin_of_tower

Modification history