Hi, suppose I have a Class: Class DummyClass (a : list R) (b : R) :={ l : length a = S 0; k : b = 0; }.
How can I use this class in other definitions? Thanks!
Last updated: Sep 30 2023 at 07:01 UTC