Theorem biTotal_iff_isEmpty_left

Modification history

2026-02-13 18:17
Mathlib/Logic/IsEmpty.lean
chore(Logic/IsEmpty): split file into `Defs` and `Basic` (#35137) …
Modified biTotal_iff_isEmpty_leftView on Github →
2025-01-27 13:29
Mathlib/Logic/IsEmpty.lean
feat(Logic/IsEmpty/Relator): empty on sides (#20319) …
Added biTotal_iff_isEmpty_leftView on Github →