Bisimulation: add a note about requirements of bisimulation#785

fangyi-zhou wants to merge 1 commit into

plfa:devplfa/plfa.github.io:devfrom

fangyi-zhou:bisimulation-rewordfangyi-zhou/plfa.github.io:bisimulation-rewordCopy head branch name to clipboard