Theorem intrinsicClosure_eq_closure_of_span

Modification history