fix notations of dependency and later-than - Githubissues

ethereum / research

MIT License

1.81k stars 591 forks source link

fix notations of dependency and later-than #84

Open ldct opened 6 years ago

ldct commented 6 years ago

Previously, we had

m < m
!(m > m)