Mathlib v3 is deprecated. Go to Mathlib v4

Def self_adjoint_partL

Modification history