Reorganize CaseII.AuxLemmas a bit · leanprover-community/flt-regular@6989ffe

Triggered via push January 21, 2026 14:36

master

Status Success

Total duration 1h 8m 11s

Artifacts 1

push.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	37.7 MB	`sha256:67e54c5721625500c89e6e0a9e9f26a3ddf85db0faa023ff6d3ba16367ee3669`