Theorem FunctionField.valuedFqtInfty.def'

Modification history