Skip to content

add pair_included, auth_frag_core, singleton_core_total

Ralf Jung requested to merge ralf/misc-lemmas into master

These lemmas were useful in !289 (merged).

Merge request reports