Theorem Subsemiring.mem_nonneg

Modification history

2025-07-19 23:40
Mathlib/Algebra/Ring/Subsemiring/Order.lean
chore(Algebra/Ring/Subsemiring/Order): add missing projection (#27275) …
Added Subsemiring.mem_nonnegView on Github →