From: "Roger H." <s57076@hotmail.com> Hi,
how do i write instance checking, like
lemma "3 in nat"
Many thanks!
Last updated: Jul 26 2025 at 08:28 UTC