Skip to content

tentative formalization of Vitali's lemma #195

tentative formalization of Vitali's lemma

tentative formalization of Vitali's lemma #195

Triggered via pull request November 9, 2023 11:39
@affeldt-aistaffeldt-aist
synchronize #973
Status Success
Total duration 7m 48s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

nix-action-8.18.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in