Skip to content
Commit 2a1afed6 authored by Elbert Alias's avatar Elbert Alias Committed by GitHub
Browse files

Merge pull request #1381 from jvoisin/add_implies 

Add some missing implies
parents aa9520a1 42f80bde
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