Theorem WType.depth_lt_depth_mk

Modification history