José A. Alonso on Nostr: The universal divided power algebra. ~ María Inés de Frutos Fernández. #ITP ...
The universal divided power algebra. ~ María Inés de Frutos Fernández. https://youtu.be/AlY19FFW2ZI #ITP #LeanProver #Math
José A. Alonso
npub1pm…nv8pw
2026-01-29 12:52:03 UTC
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwSeen on
wss://relay.mostr.pub