relax AsFractional Hint Mode
This weakens the Hint Mode
for AsFractional
such that when the goal is l_new ↦{#1 / 2 + ?evar} _
, iSplitL
works.
Edited by Ralf Jung
This weakens the Hint Mode
for AsFractional
such that when the goal is l_new ↦{#1 / 2 + ?evar} _
, iSplitL
works.