Theorem SetRel.IsCover.rfl

Modification history

2025-11-14 11:52
Mathlib/Data/Rel/Cover.lean
feat: totally bounded sets have finite covers (#31537) …
Added SetRel.IsCover.rflView on Github →