lemma "Ball (set (ipv4range_split r)) valid_prefix"
lemma "Ball (set (ipv4range_split r)) valid_prefix"

diekmann/Iptables_Semantics,diekmann/Iptables_Semantics,diekmann/Iptables_Semantics,jcaesar/Iptables_Semantics,jcaesar/Iptables_Semantics,jcaesar/Iptables_Semantics