Theorem IsSeparatedMap.comp_left

Modification history