Commit 2026-03-20 01:59 444ccde1
View on Github →feat(Translate): translate binder names starting with h (#36304)
This PR expands the binder name translation in to_dual and to_additive. If the binder name cannot be translated by itself, then try translating without the prefix h. This is useful when a hypothesis is called hmin or hmax.