Theorem DilationEquiv.ratio_toDilation

Modification history