mathlib
8e7e9e73 - lint fixes, rename some dubiously named variables

Commit

5 years ago

lint fixes, rename some dubiously named variables

References

Author

fpvandoorn

fpvandoorn

Committer

fpvandoorn

fpvandoorn

Parents

Loading