mathlib
dc0c36ea - Fixed comments by Mario + cleaned up what's happening in namespace fin_tm2

Commit

5 years ago

Fixed comments by Mario + cleaned up what's happening in namespace fin_tm2

Author

pimsp

pimsp

Parents

Loading