Commit 2026-03-23 07:23 6d9b0080

View on Github →

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

Estimated changes

added theorem SSet.prod_map_fst
added theorem SSet.prod_map_snd
added theorem SSet.prod_δ_fst
added theorem SSet.prod_δ_snd
added theorem SSet.prod_σ_fst
added theorem SSet.prod_σ_snd