felix.git/library/cardinal.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-07-28T08:43:05+00:00 Check admitted modules sequentially 2026-07-28T08:43:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T08:43:05+00:00 urn:sha1:60b4b379d4532c5a688f2dbf1e05736c636059c5 Update errors and cull formalizations 2025-11-27T18:44:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-11-27T18:44:07+00:00 urn:sha1:aa760e1989ccc2c7e45b6a3f111e5d5d3bc713b3 Abgabe 2024-09-23T01:05:41+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-09-23T01:05:41+00:00 urn:sha1:f6b22fd533bd61e9dbcb6374295df321de99b1f2 more more urysohn 2024-08-10T17:18:39+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-08-10T17:18:39+00:00 urn:sha1:34aad4be8fb8433f0205517732da0d449d077572 put cardinalit to the right place 2024-08-09T13:15:49+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-08-09T13:15:49+00:00 urn:sha1:65e5a741655d8339ad5763e365ea2addd2e96e51 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