Skip to content
Snippets Groups Projects
Commit 8a4fd004 authored by Dmitry Khalanskiy's avatar Dmitry Khalanskiy
Browse files

Move some lemmas about big_opM outside the section 

This way, it is possible to use them inside the section for
different types of maps at the same time.
parent e2f65bbd
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment