Skip to content

fix: mathlib4 monoidal structure on presheaves of modules, from nightly-2026-09-05 - #49

Closed
Kha wants to merge 1 commit into
masterfrom
push-uqsykvpuzzqv
Closed

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

fix: mathlib4 monoidal structure on presheaves of modules

ca0f40d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors
main
failed Sep 6, 2026 in 7m 31s