judithludwig
Results
2
comments of
judithludwig
There is the following alternative definition of faithfully flat ring map and there should probably be a discussion about which one should become the ```mathlib``` definition: ``` variable (R :...
> I think this second version is better. I understand that it is probably not easy to show the equivalence, but putting in mathlib a definition that we know we...