Opened 4 years ago

Last modified 4 years ago

#23000 closed defect

Add trivial `AdditiveGroups.Finite` category, and workaround MRO issue — at Initial Version

Reported by: nthiery Owned by:
Priority: major Milestone: sage-8.0
Component: categories Keywords:
Cc: tscrim Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description


Change History (0)

Note: See TracTickets for help on using tickets.