Theorem SimplicialObject.Splitting.iso_inv

Modification history