felix.git/library/relation/equivalence.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T11:13:53+00:00 Clarify disjoint equivalence classes proof 2026-08-03T11:13:53+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T11:13:53+00:00 urn:sha1:3321d77518932640de17e9dc719e0f1c6f0eb02c Migrate equivalence proofs 2026-08-03T10:36:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T10:36:39+00:00 urn:sha1:54d6529b33671dd8795a97abb0d7de9ea6456883 Linting and optimization 2025-07-08T19:20:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-08T19:20:20+00:00 urn:sha1:51fe28bdd9943e359de5835d2737c0fdc8618df7 Update equivalence.tex 2024-06-25T14:52:32+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-06-25T14:52:32+00:00 urn:sha1:868857d2764a26668e32d3e4f9764f728fb162a4 Initial commit 2024-02-10T01:22:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-02-10T01:22:14+00:00 urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968