Theorem Algebra.adjoin_induction

Modification history