Def CategoryTheory.Skeletal.monoidHom

Modification history

2025-11-20 10:13

Mathlib/CategoryTheory/Monoidal/Skeleton.lean

feat(Algebra): generalize Picard group to Semiring (#30657)

Added CategoryTheory.Skeletal.monoidHom View on Github →