Skip to content
Back to pull request #40945

introduce the category of graded lattices #24803

Sign in to view logs

introduce the category of graded lattices

introduce the category of graded lattices #24803

Triggered via pull request November 20, 2025 12:51
@fchapotonfchapoton
synchronize #40945
fchapoton:graded_lattices
Status Success
Total duration 2m 4s
Artifacts –

lint.yml

on: pull_request
Lint
2m 1s
Lint
Fit to window
Zoom out
Zoom in