J Carr
jac@types.pl
<p>I like using logic to do things it was never meant to do<br />:nonbinary_flag:</p><p>You can refer to me as J. or as Jason</p><p>CS PhD student at UChicago<br />(all opinions my own)</p>
Posts
-
Post #2154412
If univalence holds then the set: { n | Fin n = Fin n = Fin n } has 2 elements