Skip to content
Post PR summary comment

[Merged by Bors] - feat (LinearAlgebra/RootSystem/Finite): nondegeneracy of canonical bilinear form restricted to root span #32532

Sign in to view logs

[Merged by Bors] - feat (LinearAlgebra/RootSystem/Finite): nondegeneracy of canonical bilinear form restricted to root span

[Merged by Bors] - feat (LinearAlgebra/RootSystem/Finite): nondegeneracy of canonical bilinear form restricted to root span #32532

Triggered via pull request November 20, 2024 18:48
@leanprover-community-bot-assistantleanprover-community-bot-assistant
synchronize #18569
ScottCarnahan/MoreBilinear
Status Success
Total duration 50s
Artifacts –

PR_summary.yml

on: pull_request
build
42s
build
Fit to window
Zoom out
Zoom in