Theorem Orientation.kahler_apply_self

Modification history