Function prop::eq::assoc_eq

pub fn assoc_eq<A: DProp, B: DProp, C: DProp>(
    
) -> Eq<Eq<Eq<A, B>, C>, Eq<A, Eq<B, C>>>

((a == b) == c) == (a == (b == c)).