Theorem ComplexShape.Embedding.f_eq_of_r_eq_some

Modification history