Theorem MvQPF.suppPreservation_iff_liftpPreservation

Modification history

2023-02-20 12:18
Mathlib/Data/QPF/Multivariate/Basic.lean
feat: Port Data.QPF.Multivariate.Basic (#2223)
Added MvQPF.suppPreservation_iff_liftpPreservationView on Github →