Theorem Con_apply

Modification history