mathlib3
1bc59c99 - refactor(*): replace `function.swap` by `swap` (#8612)

Commit

4 years ago

refactor(*): replace `function.swap` by `swap` (#8612) This shortens some statements without decreasing legibility (IMO).

Author

fpvandoorn

Parents