Drop `Rel` in `Proof` (?)

Question

yoohaemin opened this issue a year ago · comments

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