felix.git/library/relation.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-02T22:55:58+00:00 Stabilize converse subset proof 2026-08-02T22:55:58+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T22:55:58+00:00 urn:sha1:7df16190a69d00a40bf8300b1de4723260984fa0 Migrate base relation proofs to exact checking 2026-08-02T22:11:08+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T22:11:08+00:00 urn:sha1:6158effc46637f8828f365bbbdaff57ef7193cd7 Express converse, domain, range, and composition with the checked replacement and separation forms. This preserves their ordered-pair meaning without extending the exact core with the legacy predicate-replacement construct. `fld_cons` faster proof (down from 12s) 2025-07-08T22:22:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-08T22:22:54+00:00 urn:sha1:22e4eba441c9a2205798031b533b4e5d0e2b3054 Revert function changes 2025-07-08T20:30:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-07-08T20:30:42+00:00 urn:sha1:8cda32fda857d9242eb42d4fb5774e6869525476 less urysohn 2024-08-13T21:51:57+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-08-13T21:51:57+00:00 urn:sha1:ee24a73a01608125e6648f7b66d9c679e955009d Improvement for the ATP proof time 2024-06-24T22:02:04+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-06-24T22:02:04+00:00 urn:sha1:c9ed022c35cdc13bba4cc2b624295ea80b38d0a7 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