Skip to content

defn: initiality implies induction #774

defn: initiality implies induction

defn: initiality implies induction #774