Theorem LowerSet.compl_map

Modification history