Theorem continuous_id

Modification history