after property

ProofEntry after
read / write

Implementation

late ProofEntry after;