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