It's fascinating to see Metamath proofs for a framework that's significantly different from *set.mm*—even if I have to admit, I don't fully understand it! 😊
For those interested, here’s the Table of Contents: 👉 https://brismu.systems/mmtheorems.html On a side note, I hadn't realized there was a .systems TLD—learn something new every day! -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/94331790-2cb5-4b15-b9ff-bc4e629b802cn%40googlegroups.com.
