Theorem Set.compl_star

Modification history