Theorem InfHom.withTop_id

Modification history