Commit 2025-01-21 14:01 6e13e010

View on Github →

feat: casesm tactic reuses hypothesis name if only one new hypothesis (#20763)

  • feat: casesm tactic reuses hypothesis name if only one new hypothesis
  • doc-string
  • refactor
  • only if an fvar
  • golf

Estimated changes