Commit 2023-03-07 14:15 43a2e9d8
View on Github →fix: use dot notation for mapCone/mapCocone (#2696)
Thanks to #2661 we have G.mapCone
back. This swiches over globally.
fix: use dot notation for mapCone/mapCocone (#2696)
Thanks to #2661 we have G.mapCone
back. This swiches over globally.