Assertion list
proof (primary) → PartOf

Results from Ascent++: 1
proofPartOf the proceedings 0.53