Skip to content

chore(CategoryTheory/Sites): make Subcanonical a class #27722

chore(CategoryTheory/Sites): make Subcanonical a class

chore(CategoryTheory/Sites): make Subcanonical a class #27722

Triggered via pull request October 31, 2024 10:17
Status Success
Total duration 51s
Artifacts

PR_summary.yml

on: pull_request
Fit to window
Zoom out
Zoom in