mathlib
a63c3bd5 - Put everything in namespace computability to avoid cluttering root namespace

Commit

5 years ago

Put everything in namespace computability to avoid cluttering root namespace

Author

pimsp

pimsp

Parents

Loading