Zulip Chat Archive
Stream: mathlib4
Topic: Subgroup Nontrivial or ne_bot
Bolton Bailey (Aug 23 2023 at 23:46):
For subgroups, which is the preferred phrasing 1. Nontrivial H or 2. H ≠ ⊥?
Last updated: May 02 2025 at 03:31 UTC
For subgroups, which is the preferred phrasing 1. Nontrivial H or 2. H ≠ ⊥?
Last updated: May 02 2025 at 03:31 UTC