mathlib3
c56f57a3 - the additive group as an abelian group scheme

Commit

3 years ago

the additive group as an abelian group scheme

References

Author

joelriou

joelriou

Parents

Loading