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