A prototype Lean4 tactic for translating propositions through isomorphisms.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool