Theorem Rel.inv_bot

Modification history

2023-11-17 05:53

Mathlib/Data/Rel.lean

chore: bump to v4.3.0-rc2 (#8366) …

Modified Rel.inv_bot View on Github →

2023-11-02 14:15

Mathlib/Data/Rel.lean

feat(Data/Rel): prove simple propositions about images, preimages and graphs of relations (#6559) …

Added Rel.inv_bot View on Github →