Theorem Quotient.forall

Modification history

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