(n : ℕ) →
  (X Y : SSet) →
    CategoryTheory.MonoidalCategoryStruct.tensorObj ((SSet.truncation n).obj X) ((SSet.truncation n).obj Y) ⟶
      (SSet.truncation n).obj (CategoryTheory.MonoidalCategoryStruct.tensorObj X Y)