Skip to content

refactor proof tree formatting #96160

refactor proof tree formatting

refactor proof tree formatting #96160