Proper toric variety (source code)

= Proper toric variety

A toric variety is proper exactly when its <fan in toric geometry>[fan] is <complete fan>[complete].