Theorem exterior_eq_empty

Modification history