Theorem continuous_congr_of_inseparable

Modification history