Theorem WithBot.sInf_eq

Modification history