Skip to content

Add lemmas about imfset #9

Add lemmas about imfset

Add lemmas about imfset #9

Triggered via pull request December 2, 2024 03:17
@affeldt-aistaffeldt-aist
synchronize #112
Status Success
Total duration 2m 34s
Artifacts

nix-action-8.16.yml

on: pull_request_target