Theorem IsLUB.sSup_eq

Modification history