βˆƒ πŸ’‘πŸ’‘πŸ’‘πŸ’‘

Β· Web Β· 1 Β· 0 Β· 0

@j Β¬ (βˆƒ πŸ’‘πŸ’‘πŸ’‘πŸ’‘πŸ’‘) ?

@jsiehler (βˆƒL (βˆ€l ∈ L. πŸ’‘(l)) β‹€ |L| = 4)!

@j βˆƒK(|K|=5). βˆƒf:Kβ†’L(f(a)=f(b)β‡’a=b).

Sign in to participate in the conversation

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes. Use \( and \) for inline LaTeX, and \[ and \] for display mode.