Check for copyright header

feat: add `have` forms of `let_*` simp lemmas #14039

Sign in to view logs

Triggered via pull request June 14, 2025 23:01

kmill

opened #8790

kmill:kmill_simplemmas_have

Status Success

Total duration 45s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files