Theorem SetRel.IsCover.union

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.unionView on Github →