Skip to content

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113) #364

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113)

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113) #364