List of theorems for a property don't match the list of theorems on the theorems page when you search for said property

[StevenClontz]

Compare https://topology.pi-base.org/properties/P000026 and https://topology.pi-base.org/theorems?filter=separable