Theorem ComplexShape.Embedding.r_eq_some

Modification history