-
Viktor Kuncak authored
apparently induction works if we refer to the boolean value of recursive property in the ensuring clause
Viktor Kuncak authoredapparently induction works if we refer to the boolean value of recursive property in the ensuring clause