Theorem height_mono

Modification history