Theorem 5.1 at the argmax set — the localisation of ω° at p₀ is matroidal iff argmax(ω[−p₀]) is an integral base set

Initializing...

Theorem 5.1 at the argmax set — the localisation of ω° at p₀ is matroidal iff argmax(ω[−p₀]) is an integral base set · Prove2Me