Theorem continuous_inner

Modification history