Abstract window census: an injective class map commuting with merge maps transports the windowed merge count (Bauer-Lesnick counting core)

Initializing...

Abstract window census: an injective class map commuting with merge maps transports the windowed merge count (Bauer-Lesnick counting core) · Prove2Me