Theorem Con.inf_def

Modification history