Def StarSubsemiring.center

Modification history

2025-04-30 12:59

Mathlib/Algebra/Star/Subsemiring.lean

style: further whitespace fixes (#24467) …

Modified StarSubsemiring.center View on Github →

2024-07-15 20:56

Mathlib/Algebra/Star/Subsemiring.lean

feat(Algebra/Star/NonUnitalSubsemiring): Add NonUnitalStarSubsemiring (#12938) …

Added StarSubsemiring.center View on Github →