Commit 2023-09-28 22:53 4b23a873

View on Github →

chore(CategoryTheory/Adjunction/Basic): missing dsimp lemmas (#7361)

Estimated changes