Theorem Quot.exact

Modification history

2024-08-31 18:37

Mathlib/Init/Data/Quot.lean

chore(Init/Data/Quot): better naming (#16252) …

Deleted Quot.exact View on Github →

2022-11-10 23:34

Mathlib/Init/Data/Quot.lean

feat: port Data.Quot (#559) …

Added Quot.exact View on Github →