Theorem ite_id

Modification history