Back to pull request #18476

feat(Order/Basic): add `gcongr` lemmas #41889

Sign in to view logs

Triggered via pull request October 31, 2024 12:49

urkud

synchronize #18476

YK-subtype-gcongr

Status Success

Total duration 34s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor