Commit 2024-09-03 21:02 91d15558
View on Github →doc(ModelTheory/PartialEquiv): Improved docstring for partial equivalences in model theory (#16422)
Adds FGEquiv and IsExtensionPair to the list of definitions
Adds embedding_from_cg and equiv_from_cg to the list of results
Adds David Wärn to the author list, given the inspiration from the file Order/CountableDenseLinearOrder