Theorem SSet.prod_σ_snd

Modification history

2026-03-23 07:23

Mathlib/AlgebraicTopology/SimplicialSet/Monoidal.lean

feat(AlgebraicTopology/SimplicialSet): lemmas about the monoidal structure (#36916)

Added SSet.prod_σ_snd View on Github →