fix: mathlib4 monoidal structure on presheaves of modules, from nightly-2026-09-05 - #49
Closed
Kha wants to merge 1 commit into
Closed
fix: mathlib4 monoidal structure on presheaves of modules, from nightly-2026-09-05#49Kha wants to merge 1 commit into
Kha wants to merge 1 commit into
