Theorem continuous_def

Modification history