Skip to content

add pair_included, auth_frag_core, singleton_core_total

Ralf Jungrequested to merge
ralf/misc-lemmas into master

These lemmas were useful in !289 (merged).

Merge request reports