Theorem Finset.supIndep_antimono_fun

Modification history

2025-01-29 23:20

Mathlib/Order/SupIndep.lean

chore(Order/SupIndep): review API (#21235)

Deleted Finset.supIndep_antimono_fun View on Github →

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 →