Skip to content
Post PR summary comment

feat(RingTheory/Morita/Basic): Define Morita Equivalence #43979

Sign in to view logs

feat(RingTheory/Morita/Basic): Define Morita Equivalence

feat(RingTheory/Morita/Basic): Define Morita Equivalence #43979

Triggered via pull request February 3, 2025 02:16
@WhysoserioushahWhysoserioushah
synchronize #20640
morita
Status Success
Total duration 53s
Artifacts –

PR_summary.yml

on: pull_request
post-or-update-summary-comment
46s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in