Def Bool.ofNat

Modification history