Commit 2025-09-17 21:07 e567ca79
View on Github →feat: pushforward of a group object along a monoidal functor (#29691)
This is an unbundled version of Functor.mapGrp.
From Toric
feat: pushforward of a group object along a monoidal functor (#29691)
This is an unbundled version of Functor.mapGrp.
From Toric