Quotient by an equivalence relation

ID: quotient-by-an-equivalence-relation

New to topics? Read the docs here!