Theorem Hollom.induction

Modification history