qraymo Garden
Powered by
🌱Roam Garden
theorem
forward::
Satz
theorem