e. Part I

Yasushige Watase. e. Part I. Formalized Mathematics, 32(1):111-120, 2024. [doi]

Authors

Yasushige Watase

This author has not been identified. Look up 'Yasushige Watase' in Google