Theorem Algebra.adjoin_induction''

Modification history