Stream: Coq users

Topic: How to make simple?

sara lee (Aug 16 2022 at 07:29):

I have In n1 (f1 x y z l1) want to make its combination with In n2 (f1 x y z l2). As x y z are not changing.I want to keep these
natural numbers as constant in comparison. How i can do it?

Last updated: Oct 13 2024 at 01:02 UTC