Theorem SSet.OneTruncation₂.hom_ext

Modification history