Theorem CompleteLattice.inf_continuous

Modification history