Theorem continuous_congr

Modification history