Skip to content
Back to pull request #17820

[Merged by Bors] - feat(RingTheory/LinearDisjoint): definition and properties of linearly disjoint of subalgebras (1) #63249

Sign in to view logs

[Merged by Bors] - feat(RingTheory/LinearDisjoint): definition and properties of linearly disjoint of subalgebras (1)

[Merged by Bors] - feat(RingTheory/LinearDisjoint): definition and properties of linearly disjoint of subalgebras (1) #63249

Triggered via pull request October 28, 2024 08:55
@acmepjzacmepjz
synchronize #17820
acmepjz_lin_disj_subalg_1
Status Success
Total duration 1m 15s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 8s
Lint style
Check all files imported
43s
Check all files imported
Fit to window
Zoom out
Zoom in