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

implement `apply f at h` as `replace h := f h`

Open kim-em opened this issue 5 years ago • 0 comments

See zulip discussion at https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Apply.20in.20an.20assumption.3F.

kim-em avatar May 17 '20 04:05 kim-em