3 ms·
So if I get the gist of this correctly, this makes proofs that are applicable to finite sets/structures/objects easier to translate to a proof that's applicable
by arenaninja 10y ago
So if I get the gist of this correctly, this makes proofs that are applicable to finite sets/structures/objects easier to translate to a proof that's applicable to infinite sets?