Issues 211, 212, 214, 216, 217 resolved; 215's fix recorded #342

Merged

mesh-admin merged 1 commits from issues/211-217-resolved into main 2026-10-03 22:25:07 +00:00

Conversation 0 Commits 1 Files Changed 6

+32 -5

1 Commits

Author	SHA1	Message	Date
jochen	8d8e5c9a7e	Issues 211, 212, 214, 216, 217 resolved with their proofs; 215's fix recorded	2026-10-04 00:24:53 +02:00