Commit 2025-09-03 01:10 1c513670
View on Github →chore(NumberTheory/NumberField/CanonicalEmbedding): deprecate measurableSet_interior_paramSet
(#28426)
chore(NumberTheory/NumberField/CanonicalEmbedding): deprecate measurableSet_interior_paramSet
(#28426)