Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rel.core_preimage_gc

Modification history

2021-08-17 18:30

src/data/rel.lean

docs(order/filter/partial): add module docstring (#8620) …

Deleted rel.core_preimage_gc View on Github →

2019-02-08 09:28

src/data/rel.lean

feat(data/rel): galois_connection (image r) (core r)

Added rel.core_preimage_gc View on Github →