Skip to content
Snippets Groups Projects
Commit c9d008d2 authored by Adam's avatar Adam
Browse files

Add comment justifying use of bind in lemmas

parent 47941c3e
No related branches found
No related tags found
No related merge requests found
Pipeline #86855 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment