Theorem NonUnitalSubsemiring.mem_closure_of_mem

Modification history

2025-07-15 08:10
Mathlib/RingTheory/NonUnitalSubsemiring/Basic.lean
feat(Aesop): Improve SetLike ruleset (#25961) …
Added NonUnitalSubsemiring.mem_closure_of_memView on Github →