lint and suggest

switch to Clopens & add lemmas #69498

Sign in to view logs

Triggered via pull request November 24, 2024 11:15

alreadydone

opened #19436

DiscreteTopology_PrimeSpectrum++

Status Success

Total duration 1m 44s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported