In particular the proof that the dissolution locale has the same points as the original locale is much, much clearer when phrased with the universal property
=> More informations about this toot | View the thread | More toots from trebor@types.pl
text/geminiThis content has been proxied by September (3851b).