Skip to content

Pull requests: YaelDillies/toric

New pull request New
11 Open 36 Closed
11 Open 36 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump mathlib to v4.27.0
#52 opened Jan 24, 2026 by YaelDillies Loading…
Cow a sock
#50 opened Nov 28, 2025 by erdOne Loading…
8
Antipode anticommutes over comultiplication
#49 opened Nov 25, 2025 by YaelDillies Loading…
Generalise faithfulness of Diag to an arbitrary base
#45 opened Aug 17, 2025 by YaelDillies Loading…
paper: Hopf algebra section WIP Work in progress
#44 opened Aug 17, 2025 by YaelDillies Loading…
Add representations to the blueprint WIP Work in progress
#41 opened Jul 1, 2025 by Kiolt Loading…
Notation Spec(f) for Spec.map (CommRingCat.ofHom f)
#35 opened Jun 15, 2025 by YaelDillies Loading…
Clean up group instance on Spec of a Hopf algebra
#26 opened May 30, 2025 by YaelDillies Loading…
Paper on the correspondence between affine group schemes and Hopf algebras
#22 opened Apr 26, 2025 by YaelDillies Loading…
Blueprint: Cones WIP Work in progress
#12 opened Apr 9, 2025 by justus-springer Loading…
Random things about Hopf objects which might become useful
#5 opened Mar 16, 2025 by YaelDillies Loading…
ProTip! Updated in the last three days: updated:>2026-02-19.