4 ms·
And yet, there are times to use the other theories: Eg, type theory has more succinct proofs of unique inverses.
by zmgsabst 3y ago
And yet, there are times to use the other theories:
Eg, type theory has more succinct proofs of unique inverses.