Theorem Orientation.kahler_ne_zero

Modification history