Theorem CategoryTheory.extensiveTopology.subcanonical

Modification history