Theorem supᵢ_partialSups_eq

Modification history