@Pierre-Marie Pédrot : I am looking for "simple apply". Is this Ltac2 Std.apply with advanced_flag=false?
Last updated: Jun 10 2023 at 06:31 UTC