Fix build against Mathlib at Lean v4.29.1 - #31

Fix build against Mathlib at Lean v4.29.1#31

edu-ap wants to merge 1 commit into

girving:maingirving/interval:mainfrom

edu-ap:fix/mathlib-v4.29.1-computabilityedu-ap/interval:fix/mathlib-v4.29.1-computabilityCopy head branch name to clipboard