Theorem Nat.even_sub'

Modification history