Theorem ZNum.ofInt'_eq

Modification history