nLab
division

Contents

Idea

The inverse operation to multiplication.