Ind-cluster algebras and infinite Grassmannians | Synapse