PR #1369 feat(sanity_check): improve sanity_check

feat(sanity_check): improve sanity_check

fpvandoorn committed 6 years ago

typos

fpvandoorn committed 6 years ago

improve docstring

fpvandoorn committed 6 years ago

Also check for duplicated namespaces

fpvandoorn committed 6 years ago

Merge branch 'master' into sanity_improvements

mergify[bot] committed 6 years ago

mathlib3 feat(sanity_check): improve sanity_check #1369 Merged