Function prop::fun::and_is_const

pub fn and_is_const<A: Prop, B: Prop>(
    _a: IsConst<A>,
    _b: IsConst<B>
) -> IsConst<And<A, B>>

is_const(a) ⋀ is_const(b) => is_const(a ⋀ b).