Theorem ClosedEmbedding.integral_map

Modification history