Skip to content

refactor: make hIterate_elim more specific #133

refactor: make hIterate_elim more specific

refactor: make hIterate_elim more specific #133

Triggered via pull request February 22, 2024 20:30
Status Success
Total duration 26s
Artifacts

copyright-header.yml

on: pull_request
check-lean-files
17s