Commit 2023-08-27 16:15 7a05c35f

View on Github →

feat: functoriality of StructuredArrow.homMk' (#6813)

Estimated changes