Theorem Set.compl_inv

Modification history