class equation - SemanticDiff

Commit

4 years ago

class equation

References

#9828 - feat(group_theory): class equation for finite groups

#9856 - feat(ring_theory): Wedderburn's little theorem (finite domains are fields)

Author

jcommelin

jcommelin

Parents

Loading