Theorem CompleteLattice.bot_continuous

Modification history