Theorem IsSeparatedMap.const_of_comp

Modification history