Remove the Mathlib dependency from the Lean packages - #8702

Remove the Mathlib dependency from the Lean packages#8702

Eddy Ashton (eddyashton) merged 8 commits into

microsoft:mainmicrosoft/CCF:mainfrom

achamayou:achamayou-fuzzy-systemachamayou/CCF:achamayou-fuzzy-systemCopy head branch name to clipboard