https://github.com/Jun2M/Kura/blob/HEAD/Kura/Connectivity/Matroid.lean#L67
https://github.com/Jun2M/Kura/blob/HEAD/Kura/Dep/List.lean#L27
https://github.com/Jun2M/Kura/blob/HEAD/Kura/Planarity/Euler.lean#L89
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/Ensemble.lean#L112
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/Ensemble.lean#L145
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/Ensemble.lean#L237
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/Entanglement.lean#L199
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/Entropy.lean#L39
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/Entropy.lean#L202
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/ResourceTheory/FreeState.lean#L110
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/ResourceTheory/ResourceTheory.lean#L60
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/ResourceTheory/ResourceTheory.lean#L135
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/Finite/ResourceTheory/SteinsLemma.lean#L23
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/ForMathlib/Matrix.lean#L387
https://github.com/Timeroot/Lean-QuantumInfo/blob/HEAD/QuantumInfo/ForMathlib/Matrix.lean#L389
https://github.com/Vilin97/demo/blob/HEAD/Demo/session1.lean#L48
https://github.com/Vilin97/demo/blob/HEAD/Demo/session1.lean#L52
https://github.com/joelriou/topcat-model-category/blob/HEAD/TopCatModelCategory/SSet/AnodyneExtensions.lean#L154
https://github.com/joelriou/topcat-model-category/blob/HEAD/TopCatModelCategory/SSet/NonDegenerateProdSimplex.lean#L141
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields.lean#L250
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields.lean#L262
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L98
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L101
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L107
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L111
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L143
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L148
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L184
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L264
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L485
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L496
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L505
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L514
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L533
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L564
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L626
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L637
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L655
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L657
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L684
https://github.com/mariainesdff/ostrowski2024/blob/HEAD/Ostrowski2024/NumberFields_old.lean#L713
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/02_Proving_Equalities_in_Lean.lean#L40
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L13
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L18
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L23
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L28
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L33
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L38
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L43
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L48
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L58
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L63
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L68
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L73
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L78
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L84
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L89
https://github.com/riccardobrasca/demontrer2025/blob/HEAD/Math2001/01_Proofs_by_Calculation/03_Tips_and_Tricks.lean#L121
https://github.com/scholzhannah/CWComplexes/blob/HEAD/CWcomplexes/Relative/Spheres.lean#L438
https://github.com/scholzhannah/CWComplexes/blob/HEAD/CWcomplexes/Relative/Spheres.lean#L465
https://github.com/scholzhannah/CWComplexes/blob/HEAD/CWcomplexes/Relative/Spheres.lean#L471
https://github.com/scholzhannah/CWComplexes/blob/HEAD/CWcomplexes/auxiliary.lean#L379
https://github.com/siddhartha-gadgil/LeanAide/blob/HEAD/CodeGen/from_statement_10916003281691936445.lean#L119