mathlib3
3c43dd42 - Fixed remarks Mario (except making Gamma a parameter - see github)

Commit

5 years ago

Fixed remarks Mario (except making Gamma a parameter - see github)

Author

pimsp

pimsp

Parents

Loading