Def Linarith.LinarithConfig.updateReducibility

Modification history