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: Dec 20 2023 at 11:08 UTC
For subgroups, which is the preferred phrasing 1. Nontrivial H or 2. H ≠ ⊥?
Last updated: Dec 20 2023 at 11:08 UTC