proof_height property

Height proof_height
final

Implementation

final Height proof_height;