Theorem Algebra.adjoin_induction₂

Modification history