felix.git/library/algebra/monoid.tex, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-03T12:22:55+00:00Migrate monoids to exact checking2026-08-03T12:22:55+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T12:22:55+00:00urn:sha1:efca63727c4787f374e41a79d7ac047bfb43ddf2Add `lexiconAllPatterns`, basic warning for dupe pattern2026-02-05T19:25:59+00:00adelon22380201+adelon@users.noreply.github.com2026-02-05T19:25:59+00:00urn:sha1:d975e071f2563a2169e7a5ee65bc47d52000495dAbgabe2024-09-23T01:05:41+00:00Simon-Kor52245124+Simon-Kor@users.noreply.github.com2024-09-23T01:05:41+00:00urn:sha1:f6b22fd533bd61e9dbcb6374295df321de99b1f2Formalisation of groups and monoids2024-04-11T11:37:03+00:00Simon-Kor52245124+Simon-Kor@users.noreply.github.com2024-04-11T11:37:03+00:00urn:sha1:15deff4df111d86c84d808f1c9cc4e30013287d0
The test.tex file was deleted and all formalisations of groups and monoids was moved to the fitting document of the library. Some proof steps of the new formalisation were optimized for proof time