Theorem rightTotal_empty

Modification history

2026-02-13 18:17
Mathlib/Logic/IsEmpty.lean
chore(Logic/IsEmpty): split file into `Defs` and `Basic` (#35137) …
Modified rightTotal_emptyView on Github →
2024-12-02 15:59
Mathlib/Logic/IsEmpty.lean
feat(Logic/IsEmpty): Left/Right/BiTotal truthiness on emptiness (#19555) …
Added rightTotal_emptyView on Github →