Narita, K.(2017). F. Riesz Theorem. Formalized Mathematics, 25(3), 179-184. doi:10.1515/forma-2017-0017
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.
Narita, K.(2017). F. Riesz Theorem. Formalized Mathematics, 25(3), 179-184. doi:10.1515/forma-2017-0017