Theorem supᵢ_split_single

Modification history