Commit 2022-07-11 08:26 b7148c4e
View on Github →feat(analysis/special_functions/pow): Rational powers are dense (#15002) There is a rational square between any two positive elements of an archimedean ordered field.
feat(analysis/special_functions/pow): Rational powers are dense (#15002) There is a rational square between any two positive elements of an archimedean ordered field.