markusdemarkusde@mathstodon.xyz
Oct 13, 2026, 11:56 AMDoing some formalization this morning and I am depending on a lemma I PR'd into mathlib last year 😇 feelsgoodman
Doing some formalization this morning and I am depending on a lemma I PR'd into mathlib last year 😇 feelsgoodman