aluffi
aluffi copied to clipboard
improve II.1.8
what do you think? PS. if you're still working through this book maybe we can collaborate.
oh, in the errata "abelian" was added to the question. that also simplifies things rather, but I think my proof is valid anyway?