iris-lean icon indicating copy to clipboard operation
iris-lean copied to clipboard
verified publisher icon leanprover-community

Views CMRA

Open markusdemedeiros opened this issue 7 months ago • 1 comments

Depends on frac and dfrac

markusdemedeiros avatar Jun 22 '25 12:06 markusdemedeiros

Claiming this

markusdemedeiros avatar Jun 23 '25 17:06 markusdemedeiros