fix(library/data/quotient/default.lean): remove classical
fix(library/data/quotient/default.lean): remove classical