Theorem sup_iInf₂_eq

Modification history