The truncation of a quasicategory

In this file, we show that if X : SSet is a quasicategory, then ((truncation 2).obj X) satisfies the property SSet.Truncated.Quasicategory₂.

instance SSet.instQuasicategory₂ObjTruncatedOfNatNatTruncationOfQuasicategory (X : SSet) [X.Quasicategory] : ((truncation 2).obj X).Quasicategory₂