put FinEnum in a namespace - Githubissues

FormalSAT / trestle

Apache License 2.0

18 stars 2 forks source link

put FinEnum in a namespace #14

Closed JamesGallicchio closed 6 months ago

JamesGallicchio commented 9 months ago

or upstream it to mathlib

JamesGallicchio commented 6 months ago

solved by deleting it :)