APNOutputs/StacksProject/

Files

• AlgebrasOverFields_GeometricallyIrreducibleAlgebra_of_directed_colimit.lean 23 declarations
• AlgebrasOverFields_GeometricallyIrreducibleAlgebra_transitive.lean 17 declarations
• AlgebrasOverFields_geometrically_irreducible_tfae.lean 80 declarations
• AlgebrasOverFields_minimalPrimes_bijection_of_geometrically_IrreducibleAlgebra.lean 30 declarations
• AlgebrasOverFields_unique_minimal_prime_of_tensor_product_of_separably_closed.lean 54 declarations
• GeometricallyReduced_isGeometricallyReduced_iff_of_separable_algebraic.lean 60 declarations
• GeometricallyReduced_isReduced_tensorProduct_of_separable.lean 34 declarations
• GeometricallyReduced_isReduced_tensorProduct_of_separablyGenerated.lean 69 declarations
• NormalRings_NormalDomain_powerSeries.lean 28 declarations
• NormalRings_normalRing_characterization.lean 48 declarations
• Separability_exists_isPurelyInseparable_isSeparablyGenerated_of_essFiniteType.lean 99 declarations