Theorem Algebra.iSup_induction'

Modification history