Check PR body for changelog convention

feat: `Simp.Config.implicitDefEqProofs` #1349

Sign in to view logs

Triggered via pull request November 29, 2024 08:38

leanprover-community-bot

labeled #4595

simp_rfl_thm

Status Success

Total duration 11s

Artifacts –

pr-body.yml

on: pull_request