Commit 2025-08-14 19:08 f65999c0

View on Github →

chore(Data/QPF/Multivariate/Constructions): golf entire wEquiv.refl (#28415)

Estimated changes

modified theorem MvQPF.wEquiv.refl