4 ms·
They are not built-in, no. https://github.com/awalterschulze/ccc-talk/blob/1e781326d2e3c372b6d49bc2f6ff5737dc6757d8/Coq/src/BST/ConstructionToolbox.v#L24 https:
by Smaug123 3y ago
They are not built-in, no. https://github.com/awalterschulze/ccc-talk/blob/1e781326d2e3c372b6d49bc2f6ff5737dc6757d8/Coq/src/BST/ConstructionToolbox.v#L24 https://github.com/awalterschulze/ccc-talk/blob/1e781326d2e3...