Assertion list
proof (primary) → HasPrerequisite

Results from Ascent++: 1
proofHasPrerequisite miner 0.30