Theorem CoheytingHom.id_apply

Modification history