CUBE @cube77.bsky.social · 28/07/2026Being remotely related to mathematics is calling a function "frank" and justifying why you did that lol 010
![Text in markdown, it says
"The finiteness rank function frank : Card_U -> Ord is a function [...]"](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:tzfhaprpsgdpyxynbrahxwjf/bafkreif6pcusyee6li3liwxbt47r7qkndod4fanarmqtwtaikde7wfdexa)