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: Jan 29 2023 at 03:28 UTC