Theorem Algebra.adjoin_induction'

Modification history