Def CategoryTheory.Skeletal.mulEquiv

Modification history

2025-11-20 10:13

Mathlib/CategoryTheory/Monoidal/Skeleton.lean

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

Added CategoryTheory.Skeletal.mulEquiv View on Github →