mathlib
60f0b012 - feat(logic/function): define `semiconj` and `commute` (#2788)

Commit

5 years ago

feat(logic/function): define `semiconj` and `commute` (#2788)

Author

urkud

urkud

Parents

Loading