Format & Clean up Consequences.lean
#181
Open
Loading
Consequences.lean
#181