Commit 2026-03-18 11:57 4b627f03
View on Github →chore(CategoryTheory): Remove erw and respectTransparency (#36801)
Remove erw and respectTransparency in imageSubobjectMap_arrow.
chore(CategoryTheory): Remove erw and respectTransparency (#36801)
Remove erw and respectTransparency in imageSubobjectMap_arrow.