Zulip Chat Archive
Stream: general
Topic: infoview weirdness
Eric Rodriguez (Jun 22 2022 at 22:28):
docs#is_primitive_root.power_basis, for the record (the _ should be a term of type is_primitive_root). I'm not entirely sure what this is showing me.
Kevin Buzzard (Jun 23 2022 at 07:10):
What's weird about it?
Last updated: May 02 2025 at 03:31 UTC