remove deprecated stuff in modular/arithgroup #41447
remove deprecated stuff in modular/arithgroup
6233c1b0
fix suggested detail
462e67cc
dcoudert
approved these changes
on 2026-01-15
vbraun
merged
1fb9ec51
into develop 25 days ago
fchapoton
deleted the deprec_arithgroup branch 25 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub