Zulip Chat Archive
Stream: mathlib4
Topic: HasInvolutiveReverse / HasReverse
Ruben Van de Velde (Dec 18 2022 at 10:14):
Should those drop the "Has" prefix?
Last updated: Dec 20 2023 at 11:08 UTC
Should those drop the "Has" prefix?
Last updated: Dec 20 2023 at 11:08 UTC