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

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

• Merge branch 'master' into feat/circle-pi1

  completed successfully:
  Run pre-commit and in-place update PR on push#14:Commited5019cpushedbyalreadydone
  feat/circle-pi1

  Sep 24, 202640s
  More actions for workflow run 14

• style: wrap long line

  completed successfully:
  Run pre-commit and in-place update PR on push#13:Commit14d04a8pushedbyRuizsolveall
  feat/circle-pi1

  Sep 21, 202626s
  More actions for workflow run 13

• extract lemmas and golf

  failed:
  Run pre-commit and in-place update PR on push#12:Pull request#1openedbyalreadydone
  alreadydone:feat/circle-pi1

  Sep 20, 202616h 47m 43s
  More actions for workflow run 12

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  completed successfully:
  Run pre-commit and in-place update PR on push#11:Commit0af7ea5pushedbyRuizsolveall
  feat/circle-pi1

  Sep 7, 202630s
  More actions for workflow run 11

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  completed successfully:
  Run pre-commit and in-place update PR on push#10:Commit0af7ea5pushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 202630s
  More actions for workflow run 10

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  completed successfully:
  Run pre-commit and in-place update PR on push#9:Commit0aaf443pushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 202634s
  More actions for workflow run 9

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  completed successfully:
  Run pre-commit and in-place update PR on push#8:Commit544912dpushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 202623s
  More actions for workflow run 8

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  completed successfully:
  Run pre-commit and in-place update PR on push#7:Commita96eb09pushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 202630s
  More actions for workflow run 7

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  completed successfully:
  Run pre-commit and in-place update PR on push#6:Commit394fe3cpushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 202623s
  More actions for workflow run 6

• refactor: generalize to AddCircle p at an arbitrary basepoint

  completed successfully:
  Run pre-commit and in-place update PR on push#5:Commit7faa4dfpushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 202631s
  More actions for workflow run 5

• chore: replace deprecated Equiv.apply_eq_iff_eq_symm_apply

  completed successfully:
  Run pre-commit and in-place update PR on push#4:Commit4a1f4b8pushedbyRuizsolveall
  feat/circle-pi1

  Sep 3, 202631s
  More actions for workflow run 4

• run mk_all

  completed successfully:
  Run pre-commit and in-place update PR on push#3:Commited2aa20pushedbyRuizsolveall
  feat/circle-pi1

  Jul 17, 202624s
  More actions for workflow run 3

• feat(Topology/Covering): fundamental group of the circle is ℤ

  completed successfully:
  Run pre-commit and in-place update PR on push#2:Commit42e3855pushedbyRuizsolveall
  feat/circle-pi1

  Jul 17, 202628s
  More actions for workflow run 2

• feat(Topology/Covering): fundamental group of the circle is ℤ

  completed successfully:
  Run pre-commit and in-place update PR on push#1:Commit015cc19pushedbyRuizsolveall
  feat/circle-pi1

  Jul 17, 202628s
  More actions for workflow run 1