P
Initializing...
Two finite types over `γ` with fibres of equal cardinality are equivalent over `γ`. · Prove2Me