Theorem Quot.eqvGen_sound

Modification history

2024-09-02 17:50

Mathlib/Init/Data/Quot.lean

chore: move `Init.Data.Quot` to `Logic.Relation` (#16378)

Modified Quot.eqvGen_sound View on Github →

2024-08-31 18:37

Mathlib/Init/Data/Quot.lean

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

Added Quot.eqvGen_sound View on Github →