Skip to content
Commit b0a5b27a authored by Sylvestre Ledru's avatar Sylvestre Ledru Committed by Eric Larson
Browse files

simplies can also mean implies (#516)

parent e34e8bda
Show 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