Commit ba16b9c1 authored by inertia's avatar inertia
Browse files

proofs clean-up

parent a2305309
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment