diff --git a/.gitattributes b/.gitattributes
index ad95c0a37b8..026477051e3 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -25,9 +25,9 @@ Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field_with_sqrt_tag.tex
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FromSmallIntConstructible.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ImplicitInteroperable.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomain.tex -text
-Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomainWithoutDiv.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomainWithoutDivision.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_tag.tex -text
-Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_without_div_tag.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_without_division_tag.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Null_functor.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Null_tag.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex -text
@@ -41,8 +41,8 @@ Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddableTraits_Sig
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddableTraits_ToDouble.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddableTraits_ToDoubleInterval.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddableTraits_ToInterval.tex -text
-Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain.tex -text
-Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain_tag.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UniqueFactorizationDomain.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Unique_factorization_domain_tag.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/abs.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/compare.tex -text
 Algebraic_foundations/doc_tex/Algebraic_foundations_ref/div.tex -text
diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomainWithoutDiv.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomainWithoutDivision.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomainWithoutDiv.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomainWithoutDivision.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_without_div_tag.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_without_division_tag.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_without_div_tag.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_without_division_tag.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UniqueFactorizationDomain.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UniqueFactorizationDomain.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain_tag.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Unique_factorization_domain_tag.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain_tag.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Unique_factorization_domain_tag.tex