Theorem SetRel.isCover_id

Modification history

2025-12-19 15:37
Mathlib/Data/Rel/Cover.lean
refactor(Dynamics): use `SetRel` notions of separation and cover (#31259) …
Added SetRel.isCover_idView on Github →