Theorem Submonoid.supᵢ_induction

Modification history