Def combinatorics.line.is_mono

Modification history