2025-05-08

Notes 2

Posted on 2025-05-08 :: 62 Words :: Tags: journal , lean

reading Mathlib
- finished reading Algebra.Group.Operations
  - I guess "ite" stands for "if-then-else"
  - I guess "dite" stands for "dependent if-then-else"
filed an issue and a PR on verifereum.