Search
❯
Sep 13, 20251 min read
Instantiating an arbitrary element from a set for use in a Math Proof.