felix.git/library/set/filter.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-02T21:09:42+00:00 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 Update filter.tex 2024-05-22T21:10:27+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-05-22T21:10:27+00:00 urn:sha1:9113b4fddb67e5a101e4a26ead3d1d1bf72664ce Add filter lemmas 2024-05-22T18:17:33+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-05-22T18:17:33+00:00 urn:sha1:342ac0ab2f01b0b98886a0b3db77917d86ded2dc Add lemma `filter_setminus_in` 2024-05-22T14:58:06+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-05-22T14:58:06+00:00 urn:sha1:3e4e7afc69bf43b3b45bde346c92f267e9b15c39 Add simple lemmas on filters 2024-05-21T14:52:01+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-05-21T14:52:01+00:00 urn:sha1:3845ab9020b3eb591ef999827503b483eb735bd7 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