b3ad5ad Dec 21, 2016
Changed syntax of transitivity proofs
1 contributor

Users who have contributed to this file