Theorem vectorAllP_nil

Modification history