Theorem Submonoid.iSup_induction'

Modification history