Post #2061450
2026-04-19 17:24 UTC
@ncf writes "The solution is now here: 1lab".
It is now your duty to explain the solution in mathematical vernacular, just as you did when you posed the question. 🙂
Replies (1)
-
@ncf@types.pl 2026-04-19 17:25
@MartinEscardo I did! Just above strong→decidable.