Structure NonUnitalStarSubsemiring

Modification history

2025-03-03 14:53

Mathlib/Algebra/Star/NonUnitalSubsemiring.lean

chore: bump toolchain to v4.18.0-rc1 (#22500) …

Modified NonUnitalStarSubsemiring View on Github →

2024-07-15 20:56

Mathlib/Algebra/Star/NonUnitalSubsemiring.lean

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

Added NonUnitalStarSubsemiring View on Github →