Commit 2024-08-23 10:19 b0278f55

View on Github →

chore(CategoryTheory/Adjunction): fix some formatting issues in Mates file (#16073)

Estimated changes