Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created stub for étale morphism of E-∞ rings in order to record the theorem of essential uniqueness of lifts of étale morphism from underlying commutative rings to -rings (which is crucial for the characterization of the moduli stack of derived elliptic curves, and I have cross-linked with that). But otherwise no content yet, due to lack of leisure.
1 to 2 of 2