menu

Factorial_Ring
Euclidean_Algorithm
Primes
Polynomial
Formal_Power_Series
Polynomial_FPS
Formal_Laurent_Series
Fraction_Field
Fundamental_Theorem_Algebra
Group_Closure
Normalized_Fraction
Nth_Powers
Polynomial_Factorial
Squarefree
Computational_Algebra
Field_as_Ring
Computation_Checks

HOL-Computational_Algebra.Normalized_Fraction

HTML Presentation