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