Zulip Chat Archive
Stream: general
Topic: quotient.mk_out
Kenny Lau (Jul 23 2019 at 08:43):
Shouldn't quotient.mk_out be quotient.out_mk and quotient.out_eq be quotient.mk_out?
Last updated: Dec 20 2025 at 21:32 UTC
Shouldn't quotient.mk_out be quotient.out_mk and quotient.out_eq be quotient.mk_out?
Last updated: Dec 20 2025 at 21:32 UTC