Theorem FreeAlgebra.induction

Modification history