Theorem Orientation.eq_zero_or_eq_zero_of_kahler_eq_zero

Modification history