Theorem AffineSubspace.inter_eq_singleton_of_nonempty_of_isCompl

Modification history