Function proof_from_false Copy item path

pub proof fn proof_from_false<A>() -> tracked a : A

false,