Def SSet.OneTruncation₂.ofNerve₂.natIso

Modification history