Commit 2026-05-05 00:06 09178ce7
View on Github →refactor(Algebra): replace AlgHomClass coercions with structure-specific coercions (#38715)
This PR removes the coercion from F to AlgHom via AlgHomClass F R A B in favour of type-specific projections