pub fn kan_fills(g: &FiniteGroup, n: usize, k: usize) -> boolExpand description
Does the nerve satisfy the Kan condition for horns Λⁿ_k — does every compatible horn fill?
pub fn kan_fills(g: &FiniteGroup, n: usize, k: usize) -> boolDoes the nerve satisfy the Kan condition for horns Λⁿ_k — does every compatible horn fill?