pub fn is_hom_lev_n(n: u32, x: u64, a: u64, b: u64) -> u64
Defines a homotopy level n relation from x to a and b.
n
x
a
b