felix.git/library/set/product.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T00:38:11+00:00 Simplify exact product proofs 2026-08-03T00:38:11+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T00:38:11+00:00 urn:sha1:3084be3f6c8c7a2951339cf83e6aefdce23032e6 Migrate product proofs to exact checking 2026-08-02T20:45:40+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T20:45:40+00:00 urn:sha1:05885fde1444adbf9f01a429f0f89de11457f4e6 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