Theorem SSet.prod_σ_fst

Modification history

2026-03-23 07:23

Mathlib/AlgebraicTopology/SimplicialSet/Monoidal.lean

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

Added SSet.prod_σ_fst View on Github →