Stream: unification in induction tactic


Topics:


Last updated: Nov 29 2020 at 12:01 UTC