Theorem transitive_le

Modification history