Theorem Lagrange.nodal_monic

Modification history

2023-08-21 01:30
Mathlib/LinearAlgebra/Lagrange.lean
feat: add theorem about nodal on Subgroup (#6495) …
Added Lagrange.nodal_monicView on Github →