Theorem Con.conGen_of_con

Modification history