Assertion list
proof coin (subgroup of coin ) → MadeOf
Results from Ascent++: 1
proof coin → MadeOf → polished dies 0.30