Run pre-commit and in-place update PR on push

Workflow runs for Run pre-commit and in-place update PR on push

• review

  completed successfully:
  Run pre-commit and in-place update PR on push#1912:Commit2e9e908pushedbythemathqueen
  applyLinearMap

  Oct 13, 202626s
  More actions for workflow run 1912

• Merge branch 'master' into applyLinearMap

  completed successfully:
  Run pre-commit and in-place update PR on push#1911:Commit86aef21pushedbythemathqueen
  applyLinearMap

  Oct 13, 202632s
  More actions for workflow run 1911

• some updates

  completed successfully:
  Run pre-commit and in-place update PR on push#1910:Commit950c34apushedbythemathqueen
  frob

  Oct 12, 202626s
  More actions for workflow run 1910

• Merge branch 'master' into frob

  completed successfully:
  Run pre-commit and in-place update PR on push#1909:Commitf33be76pushedbythemathqueen
  frob

  Oct 10, 202628s
  More actions for workflow run 1909

• cleanup

  completed successfully:
  Run pre-commit and in-place update PR on push#1908:Commit9f8bb3cpushedbythemathqueen
  api_linearMap_toSpanSingleton

  Oct 2, 202625s
  More actions for workflow run 1908

• some missing api

  completed successfully:
  Run pre-commit and in-place update PR on push#1907:Commitc4ba1f7pushedbythemathqueen
  api_linearMap_toSpanSingleton

  Oct 2, 202634s
  More actions for workflow run 1907

• Merge branch 'master' into applyLinearMap

  completed successfully:
  Run pre-commit and in-place update PR on push#1906:Commit7ac33b9pushedbythemathqueen
  applyLinearMap

  Sep 30, 202626s
  More actions for workflow run 1906

• fix

  completed successfully:
  Run pre-commit and in-place update PR on push#1905:Commit6252615pushedbythemathqueen
  applyLinearMap

  Sep 30, 202622s
  More actions for workflow run 1905

• Merge branch 'master' into extreme_unital

  completed successfully:
  Run pre-commit and in-place update PR on push#1904:Commit3afbe57pushedbythemathqueen
  extreme_unital

  Sep 30, 202627s
  More actions for workflow run 1904

• Update Extreme.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#1903:Commit132c114pushedbythemathqueen
  extreme_unital

  Sep 30, 202623s
  More actions for workflow run 1903

• Apply suggestion from @themathqueen

  completed successfully:
  Run pre-commit and in-place update PR on push#1902:Commit9797a9dpushedbythemathqueen
  applyLinearMap

  Sep 30, 202624s
  More actions for workflow run 1902

• [pre-commit.ci lite] apply automatic fixes

  completed successfully:
  Run pre-commit and in-place update PR on push#1901:Commit78b059bpushedbypre-commit-ci-lite[bot]Bot
  applyLinearMap

  Sep 29, 202635s
  More actions for workflow run 1901

• Merge branch 'master' into applyLinearMap

  failed:
  Run pre-commit and in-place update PR on push#1900:Commit1c585bcpushedbythemathqueen
  applyLinearMap

  Sep 29, 202632s
  More actions for workflow run 1900

• Merge branch 'master' into applyLinearMap

  failed:
  Run pre-commit and in-place update PR on push#1899:Commit2b42b53pushedbythemathqueen
  applyLinearMap

  Sep 29, 202631s
  More actions for workflow run 1899

• Merge branch 'master' into extreme_unital

  completed successfully:
  Run pre-commit and in-place update PR on push#1898:Commit467a06fpushedbythemathqueen
  extreme_unital

  Sep 28, 202625s
  More actions for workflow run 1898

• Update Extreme.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#1897:Commit23804ffpushedbythemathqueen
  extreme_unital

  Sep 28, 202628s
  More actions for workflow run 1897

• Merge branch 'master' into gen_linearIndependent_lemmas

  completed successfully:
  Run pre-commit and in-place update PR on push#1896:Commitd1af980pushedbythemathqueen
  gen_linearIndependent_lemmas

  Sep 28, 202624s
  More actions for workflow run 1896

• fix

  completed successfully:
  Run pre-commit and in-place update PR on push#1895:Commitf40224dpushedbythemathqueen
  IsProperStar

  Sep 22, 202625s
  More actions for workflow run 1895

• generlize some stuff

  completed successfully:
  Run pre-commit and in-place update PR on push#1894:Commit880dde2pushedbythemathqueen
  IsProperStar

  Sep 22, 202628s
  More actions for workflow run 1894

• proper star

  completed successfully:
  Run pre-commit and in-place update PR on push#1893:Commit02d1e65pushedbythemathqueen
  IsProperStar

  Sep 22, 202628s
  More actions for workflow run 1893

• Update NonsingularInverse.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#1892:Commitec737f6pushedbythemathqueen
  gen_linearIndependent_lemmas

  Sep 21, 202623s
  More actions for workflow run 1892

• Update NonsingularInverse.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#1891:Commit6fd2995pushedbythemathqueen
  gen_linearIndependent_lemmas

  Sep 21, 202628s
  More actions for workflow run 1891

• generalize some lemmas

  completed successfully:
  Run pre-commit and in-place update PR on push#1890:Commite184afdpushedbythemathqueen
  gen_linearIndependent_lemmas

  Sep 21, 202638s
  More actions for workflow run 1890

• fix

  completed successfully:
  Run pre-commit and in-place update PR on push#1889:Commit5d07b4cpushedbythemathqueen
  frob

  Sep 21, 202623s
  More actions for workflow run 1889

• fixes

  completed successfully:
  Run pre-commit and in-place update PR on push#1888:Commit0adafdfpushedbythemathqueen
  frob

  Sep 21, 202627s
  More actions for workflow run 1888