Theorem NonUnitalStarSubsemiring.coe_copy

Modification history

2024-07-15 20:56

Mathlib/Algebra/Star/NonUnitalSubsemiring.lean

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

Added NonUnitalStarSubsemiring.coe_copy View on Github →