basic): add `Pi_comm` aka `function.swap` as an `equiv` (#14561)

Commit

3 years ago

feat(logic/equiv/basic): add `Pi_comm` aka `function.swap` as an `equiv` (#14561)

Author

ADedecker

Parents