Theorem SSet.hom_ext

Modification history

2023-06-19 13:10
Mathlib/AlgebraicTopology/SimplicialSet.lean
chore: add @[ext] lemmas for NatTrans synonyms (#5228)
Added SSet.hom_extView on Github →