hasProve method

@TagNumber(4) bool hasProve()

Implementation

@$pb.TagNumber(4)
$core.bool hasProve() => $_has(3);