fact: Definition cassert {A} (cont : A -> tactic) : tactic := fun g=> cassert_base (FreshFrom cont) cont g.
imports: Strings.String ssrmatching.ssrmatching Mtac2(Logic Datatypes List Utils Logic Sorts MTeleMatch) Strings.String NArith.BinNat NArith.BinNatDef