felix.git/library/set/suc.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-02T20:02:39+00:00 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. 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 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 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