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