Theorem WithTop.infₛ_eq

Modification history