Theorem Set.isWf_insert

Modification history