RFC: let unfold
tactic zeta reduce local definitions
#117
Loading
unfold
tactic zeta reduce local definitions
#117