decrel icon indicating copy to clipboard operation
decrel copied to clipboard
verified publisher icon yoohaemin

Drop `Rel` in `Proof` (?)

Open yoohaemin opened this issue 2 years ago • 0 comments

Keep it only in the subtypes that actually use them (?)

yoohaemin avatar Apr 13 '23 12:04 yoohaemin