HomePhabricator

patched a proof

Description

patched a proof

Details

Committed
paulson <lp15@cam.ac.uk>Tue, Nov 5, 3:03 PM
Parents
rAFPc5c88012f116: fixed a failing (and ugly) proof
Branches
Unknown
Tags
Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP3f2bdb753c38: patched a proof.Tue, Nov 5, 3:03 PM