felix.git/library/set, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T21:28:44+00:00 Stabilize one-core set proofs 2026-08-03T21:28:44+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T21:28:44+00:00 urn:sha1:cf1b39b5bd239da2bfd9e44321c9801424f89c4c Migrate equinumerosity proofs 2026-08-03T07:05:30+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T07:05:30+00:00 urn:sha1:121b729c97214c37e88502adffd1d1fffbd5c3f4 Migrate Cantor and fixpoint proofs 2026-08-03T01:56:16+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T01:56:16+00:00 urn:sha1:4f662a220564ff6ca222359dcf61490da150243e 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 filter proofs to exact checking 2026-08-02T21:09:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T20:45:50+00:00 urn:sha1:854919a65cb367b5f1dacaa191177e9d9e896785 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 Align successor with canonical set insertion 2026-08-02T20:02:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T20:02:39+00:00 urn:sha1:e378c4000965613bf2399634ee76a7c25d73c980 Exact definitions remain named globals, so suc spells the canonical construction directly to coalesce with the packaged successor. Migrate elementary set proofs to exact checking 2026-08-02T19:31:01+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T19:02:32+00:00 urn:sha1:9a91dfd22d23ba861b10a55fb375d2cced1ee366 Rewrite protected set and naturals closure 2026-08-02T16:42:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T16:42:54+00:00 urn:sha1:5f64079c4ec671de04971f38907805e9de514537 Build module-local syntax interfaces 2026-07-30T21:13:36+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-30T21:13:36+00:00 urn:sha1:0f0b966d958464f08b6efa39f9eee38d96509c19