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: May 02 2025 at 03:31 UTC
Shouldn't quotient.mk_out be quotient.out_mk and quotient.out_eq be quotient.mk_out?
Last updated: May 02 2025 at 03:31 UTC