3f836985eb311fa634e5a5f4d8f6b173a349ff37be624553ecaa9ef58505645e  ProofExplorer/Jacobian/MarkusEight.lean
c24906d24d20dd813d8eb3b510d98c7a8f24560b3043c3dece9320afb8d4461b  ProofExplorer/Jacobian/MarkusPolynomial.lean
ae9cb0ed8a07b43ca2c19dc70b53a85fa33aa62f6c829e18d9849031916bab57  ProofExplorer/Jacobian/MarkusResult.lean
c194bc239a7df6d9b637db2ce41ebd45850a94f205e390d66a50f186a708c830  ProofExplorer/Jacobian/CalculusLibrary.lean
588c4df693cc26656ac12bb06fc6c7c55b2bf77f519a219bb74e85046fd83c2e  ProofExplorer/Jacobian/VectorLibrary.lean
73e8fb374e3c57892ae472103d7fda148b15f304ff7f99f8c9a00c42fcf0f0d7  ProofExplorer/Jacobian/Library.lean