1. No category

複素計量を持つローレンツ多様体