Theorem UpperSet.compl_map

Modification history