Def as_boolalg

Modification history