lint and suggest

[Merged by Bors] - refactor: add explicit equation lemmas for `comp` and `flip` #7051

Sign in to view logs

Triggered via pull request November 12, 2023 19:47

eric-wieser

synchronize #8371

eric-wieser/eqns-for-comp

Status Success

Total duration 52s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported