preface
preface copied to clipboard
PBT for Divisble and Decidable
Laws are missing. (But it should, maybe, await for the Test reorganisation)