Theorem Submonoid.supᵢ_induction'

Modification history