Skip to content
Lint

implement natural morphism from cl(f²D) to cl(D) #8614

Sign in to view logs

implement natural morphism from cl(f²D) to cl(D)

implement natural morphism from cl(f²D) to cl(D) #8614

Triggered via pull request January 18, 2024 23:52
@yyyyx4yyyyx4
synchronize #37074
yyyyx4:public/bqfclassgroup_quotient_morphisms
Status Success
Total duration 5m 31s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

on: pull_request
Lint
5m 25s
Lint
Fit to window
Zoom out
Zoom in