Theorem exists_reduced_fraction'

Modification history