Theorem NNReal.HolderConjugate.conjugate_eq

Modification history