*): equivalences mapping morphisms to their dual (#12888)

Commit

4 years ago

feat(order/hom/*): equivalences mapping morphisms to their dual (#12888) Add missing `whatever_hom.dual` equivalences.

Author

YaelDillies

Parents