Theorem Subsingleton.to_noZeroDivisors

Modification history

2025-07-31 17:11
Mathlib/Algebra/Ring/Basic.lean
chore: scope or remove some instances (#27592) …
Added Subsingleton.to_noZeroDivisorsView on Github →