aboutsummaryrefslogtreecommitdiff
path: root/Category/Cocomplete
diff options
context:
space:
mode:
authorJacques Comeaux <jacquesrcomeaux@protonmail.com>2026-03-29 17:49:49 -0500
committerJacques Comeaux <jacquesrcomeaux@protonmail.com>2026-03-29 17:49:49 -0500
commit29dacb01350879a1f94ca100aafc058298bcb8a1 (patch)
treee7b9bf6e2c2ec4606865199fb06d70d1d2897731 /Category/Cocomplete
parent0000b8aee0c002bfdf0f0a310062a80c2c8ea94d (diff)
Add semimodule of vectors over a commutative rig
Diffstat (limited to 'Category/Cocomplete')
0 files changed, 0 insertions, 0 deletions