Function prop::eq::imply_to_or_db

pub fn imply_to_or_db<A: Prop, B: DProp>() -> Eq<Imply<A, B>, Or<Not<A>, B>>

(a => b) = (¬a ∨ b).