Skip to content
Post PR summary comment

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

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) #26834

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
44s
44s