infinity-groupoid

Let \(X\) be an infinity category. Then \(X\) is said to be an infinity-groupoid if every morphism is an equivalence in a quasicategory