Theorem continuous_bot

Modification history