Assertion list
proof coin (subgroup of coin ) → HasA
Results from Ascent++: 1
proof coin → HasA → small memmintmark 0.44