Theorem subsingleton_fin_zero

Modification history

2025-07-31 23:59
Mathlib/Logic/Equiv/Fin/Basic.lean
chore: remove some duplicate instances (#25410) …
Added subsingleton_fin_zeroView on Github →