Assertion: group scheme | /r/HasProperty | constant
Facets:
Source sentences:
text: For example, if 2 is invertible over the base, all group schemes of order 2 are constant, but over the 2-adic integers, μ 2 is non-constant, because the special fiber isn't smooth.