Theorem Quotient.exists

Modification history

2023-09-17 16:14
Mathlib/Data/Quot.lean
feat: add lemma `Quotient.exists` (#7220) …
Added Quotient.existsView on Github →