Theorem Array.size_mkEmpty

Modification history