Skip to content

docs: record that Mathlib now proves symplectic_matrix_det - #628

Open
ibrahimmian36 wants to merge 1 commit into
leanprover:mainfrom
ibrahimmian36:symplectic-det-lookup
Open

docs: record that Mathlib now proves symplectic_matrix_det#628
ibrahimmian36 wants to merge 1 commit into
leanprover:mainfrom
ibrahimmian36:symplectic-det-lookup

docs: record that Mathlib now proves symplectic_matrix_det

5be46c4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs