🔍
🏠
Wikipedia
🎲
Reduced ramification index of an extension of valuations