Theorem Finset.supIndep_antimono_fun

Modification history

2024-10-25 20:58

Mathlib/Order/SupIndep.lean

chore(LinearAlgebra): use maxGenEigenspace instead of iSup over genEigenspace (#18037)

Added Finset.supIndep_antimono_fun View on Github →