No pages link to Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 1 Iff Definition 3.