Posts for year 2025

2025-06-25 01:26Searching for Theorems in Mathlib
2025-06-24 16:40The correspondence between affine group schemes and Hopf algebras
2025-06-17 11:15Theorems about abelian categories
2025-05-26 14:00Simprocs for the Working Mathematician