Commit 2025-03-13 16:39 d27218a8

View on Github →

chore: review of porting notes in CategoryTheory/ (#22899) This covers the "easy" porting notes in "the top half" of CategoryTheory/.

Estimated changes