Theorem Quot.EqvGen_sound

Modification history

2024-08-31 18:37

Mathlib/Init/Data/Quot.lean

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

Deleted Quot.EqvGen_sound View on Github →

2022-11-10 23:34

Mathlib/Init/Data/Quot.lean

feat: port Data.Quot (#559) …

Added Quot.EqvGen_sound View on Github →